Recent Publications Journal Papers J.N. Oliveira, M.A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering ...
This page has been moved to the new HASLab web site at http://haslab.uminho.pt/calendar HASLab Seminar Series The HASLab Seminar Series is a scientific colloquium ...